About Cosense
Help
Log in
suto3の大福帳
T
u
r
i
n
g
m
a
c
h
i
n
e
A
r
i
t
h
m
e
t
i
c
a
l
h
i
e
r
a
r
c
h
y
B
e
k
e
n
s
t
e
i
n
b
o
u
n
d
,
s
h
o
w
i
n
g
t
h
e
i
m
p
o
s
s
i
b
i
l
i
t
y
o
f
i
n
f
i
n
i
t
e
-
t
a
p
e
T
u
r
i
n
g
m
a
c
h
i
n
e
s
o
f
f
i
n
i
t
e
s
i
z
e
a
n
d
b
o
u
n
d
e
d
e
n
e
r
g
y
B
l
o
o
P
a
n
d
F
l
o
o
P
C
h
a
i
t
i
n
'
s
c
o
n
s
t
a
n
t
o
r
O
m
e
g
a
(
c
o
m
p
u
t
e
r
s
c
i
e
n
c
e
)
f
o
r
i
n
f
o
r
m
a
t
i
o
n
r
e
l
a
t
i
n
g
t
o
t
h
e
h
a
l
t
i
n
g
p
r
o
b
l
e
m
C
h
i
n
e
s
e
r
o
o
m
C
o
n
w
a
y
'
s
G
a
m
e
o
f
L
i
f
e
,
a
T
u
r
i
n
g
-
c
o
m
p
l
e
t
e
c
e
l
l
u
l
a
r
a
u
t
o
m
a
t
o
n
d
i
g
i
t
a
l
i
n
f
i
n
i
t
y
T
h
e
E
m
p
e
r
o
r
'
s
N
e
w
M
i
n
d
E
n
u
m
e
r
a
t
o
r
(
i
n
t
h
e
o
r
e
t
i
c
a
l
c
o
m
p
u
t
e
r
s
c
i
e
n
c
e
)
G
e
n
e
t
i
x
G
ö
d
e
l
,
E
s
c
h
e
r
,
B
a
c
h
:
A
n
E
t
e
r
n
a
l
G
o
l
d
e
n
B
r
a
i
d
,
a
f
a
m
o
u
s
b
o
o
k
t
h
a
t
d
i
s
c
u
s
s
e
s
,
a
m
o
n
g
o
t
h
e
r
t
o
p
i
c
s
,
t
h
e
C
h
u
r
c
h
–
T
u
r
i
n
g
t
h
e
s
i
s
H
a
l
t
i
n
g
p
r
o
b
l
e
m
,
f
o
r
m
o
r
e
r
e
f
e
r
e
n
c
e
s
H
a
r
v
a
r
d
a
r
c
h
i
t
e
c
t
u
r
e
I
m
p
e
r
a
t
i
v
e
p
r
o
g
r
a
m
m
i
n
g
L
a
n
g
t
o
n
'
s
a
n
t
a
n
d
T
u
r
m
i
t
e
s
,
s
i
m
p
l
e
t
w
o
-
d
i
m
e
n
s
i
o
n
a
l
a
n
a
l
o
g
u
e
s
o
f
t
h
e
T
u
r
i
n
g
m
a
c
h
i
n
e
L
i
s
t
o
f
t
h
i
n
g
s
n
a
m
e
d
a
f
t
e
r
A
l
a
n
T
u
r
i
n
g
M
o
d
i
f
i
e
d
H
a
r
v
a
r
d
a
r
c
h
i
t
e
c
t
u
r
e
Q
u
a
n
t
u
m
T
u
r
i
n
g
m
a
c
h
i
n
e
C
l
a
u
d
e
S
h
a
n
n
o
n
,
a
n
o
t
h
e
r
l
e
a
d
i
n
g
t
h
i
n
k
e
r
i
n
i
n
f
o
r
m
a
t
i
o
n
t
h
e
o
r
y
T
u
r
i
n
g
m
a
c
h
i
n
e
e
x
a
m
p
l
e
s
T
u
r
i
n
g
s
w
i
t
c
h
T
u
r
i
n
g
t
a
r
p
i
t
,
a
n
y
c
o
m
p
u
t
i
n
g
s
y
s
t
e
m
o
r
l
a
n
g
u
a
g
e
t
h
a
t
,
d
e
s
p
i
t
e
b
e
i
n
g
T
u
r
i
n
g
c
o
m
p
l
e
t
e
,
i
s
g
e
n
e
r
a
l
l
y
c
o
n
s
i
d
e
r
e
d
u
s
e
l
e
s
s
f
o
r
p
r
a
c
t
i
c
a
l
c
o
m
p
u
t
i
n
g
U
n
o
r
g
a
n
i
s
e
d
m
a
c
h
i
n
e
,
f
o
r
T
u
r
i
n
g
'
s
v
e
r
y
e
a
r
l
y
i
d
e
a
s
o
n
n
e
u
r
a
l
n
e
t
w
o
r
k
s
V
o
n
N
e
u
m
a
n
n
a
r
c
h
i
t
e
c
t
u
r
e
h
t
t
p
s
:
/
/
e
n
.
w
i
k
i
p
e
d
i
a
.
o
r
g
/
w
i
k
i
/
T
u
r
i
n
g
_
m
a
c
h
i
n
e
Related
Sort by
Related
Modified
Created
Last visited
Most linked
Page rank
Title
Links
von Neumann architecture
[CARDboard Illustrative Aid to Computation][Interconnect bottleneck][Little man computer][Random-access machine][Harvard architecture]
Claude Shannon
[Entropy power inequality][Error-correcting codes with feedback]List of pioneers in computer science[Models of communication][n-gram]
digital infinity
[Decoding Chomsky][Generative linguistics][The Library of Babel][Origin of language][Origin of speech]
Conway's Game of Life
[ライフゲーム][Aliquot sequence], a similar problem of nonnegative integers[artificial life] – A field of study wherein researchers examine systems related to natural life, its processes, and its evolution, through the use of simulations
チューリングマシン
[Turing machine][チューリング完全][非決定性チューリングマシン][コルモゴロフ複雑性][ライフゲーム]
abstract machine
[抽象機械][Abstraction] (computer science)[abstract interpretation][Bulk synchronous parallel][Discrete time]
finite state machine
[有限状態機械][Abstract state machines] (ASM)[artificial intelligence] (AI)[Abstract State Machine Language] (AsmL)[Behavior model]
計算機科学
コンピュータ自体とその出現によって産み出された諸々の[学問分野]の[基礎部分]の[意味]で使われる。[計算機] + [科学][コンピュータサイエンス]([CS] : [computer science])[コンピュータ科学]基礎
有限オートマトン
[変化]しうる[有限]の[状態]と、[入力]による状態の[遷移]を、[図式化]したもののこと。[自動販売機]における入力と[状態遷移]を図式化する場合などに、よく用いられる。[FA] : [finite automaton][有限状態機械] ([FSM] : [finite state machine])[ステート]([state])
非決定性有限オートマトン
[NFA] : [nondeterministic finite automaton][非決定性有限状態機械]([NFSM] : [Nondeterministic Finite State Machine])[決定性有限オートマトン]([DFA] : [Deterministic Finite Automaton])[プッシュダウンオートマトン]([Push Down Automaton])[チューリングマシン]([Turing Machine])
Bekenstein bound
Landauer's principle
[ランダウアーの原理][Margolus–Levitin theorem][Bremermann's limit][Bekenstein bound][Kolmogorov complexity]
BlooP and FlooP
Douglas Hofstadter
[American philosophy][BlooP and FlooP][Egbert B. Gebstadter][Hofstadter points][Hofstadter's butterfly]
Chinese room
problem of other minds
[他我] - [他我問題][Animal consciousness][Binding problem][Boltzmann brain][Brain in a vat]
understanding
[理解][Active listening][Awareness][Binah] (Kabbalah)[Chinese room]
philosophy of mind
[artificial philosophy][Animal consciousness][Artificial consciousness][Chinese Room][Collective intentionality]
mind-body problem
[心身問題][Binding problem][Bodymind][Chinese room][Cognitive closure] (philosophy)
Gödel, Escher, Bach
[ゲーデル、エッシャー、バッハ][Chinese room][Church–Turing thesis][Collatz conjecture][Fractal]
Conway's Game of Life
generative art
[ジェネラティブアート][Artmedia][Conway's Game of Life][digital morphogenesis][evolutionary art]
p5.js:ライフゲーム
[ライフゲーム]([Conway's Game of Life])[teamlab-frontend][/teamlab-frontend/ライフゲーム][/teamlab-frontend/セル・オートマトン アニメーション]#p5.js-generativeart
ライフゲーム
[Conway's Game of Life][人工生命][セルオートマトン][カオス理論][エデンの園配置]
digital infinity
generative grammar
[Cognitive linguistics][Cognitive revolution][Digital infinity][Formal grammar][Functional theories of grammar]
recursion
[再帰]、[リカージョン][Corecursion][Course-of-values recursion][digital infinity][A Dream Within a Dream] (poem)
rhizome
[リゾーム][aspen][bulb][corm][mycorrhiza]
cognitive psychology
[認知心理学][Cognition][Cognitive bias] - [biology] - [description] - [development] - [interventions] - [module] - [neuropsychology] - [poetics] - [robotics][Connectionism][digital infinity]
digital data
[デジタルデータ][Analog-to-digital converter][Barker code][Binary number][Comparison of analog and digital recording]
origin of language
[言語の起源][Abiogenesis][Biolinguistics][Bow-wow theory][digital infinity]
Halting problem
無限ループ
永久ループ。[外部]の[介入]によらなければ[プロセス]の[実行]を[終了]させることのできない[ループ]。[infinite loop] ; [closed loop][goto文][再帰]([recursion])
停止性問題の決定不能性
チューリングマシンの停止性問題が決定不能だから、バグのないソフトウェアは作れないなんですかそれは[停止性問題]、[停止問題]([halting problem]) - [決定不能性][ソフトウェア検証][自己矛盾]
circular reference
[循環参照][causality] – How one process influences another[Circular reporting] – Problem in which a source gets info from somewhere, that then uses that source as a reference[Halting problem] – Problem of determining whether a given program will finish running or continue forever
Imperative programming
プログラミングパラダイム
[プログラミング]で[重要]なのはプログラミングパラダイム、要するにこういう[考え方]で[プログラムを組む]と[いいこと]がある、みたいな[思想を理解する]こと。[programming paradigm][プログラミング]([programming]) + [パラダイム]([paradigm])[データ指向プログラミング]([DOP] : [data-oriented programming])
イベントドリブン
[ユーザー]や[他]の[プログラム]が[実行]した[操作]([イベント])に[対応]して[処理]を行なうプログラムの[実行形式]のことを言う。[イベント駆動]。[event driven][命令型プログラミング]([Imperative Programming]) - [フロー駆動型プログラミング][データフロープログラミング]([dataflow programming])
命令型プログラミング
最も一般的なパラダイムノイマン型コンピュータが、その計算モデルである命令(つまり代入文)の繰り返しにより、変数の値(「状態」 という)を動的に変化させ、計算を行う変数と変数への代入 (代入型言語ともいう)変数と変数の構造
マルチパラダイムプログラミング言語
[わからん.icon][multiparadigm programming language][プログラミングパラダイム]([programming paradigm])[構造化プログラミング]([structured programming])[命令型プログラミング]([Imperative Programming])
procedural programming
[手続き型プログラミング][Declarative programming][Functional programming] (contrast)[Imperative programming][logic programming]
Claude Shannon
クロード・シャノン
[Claude Shannon][シャノン]:情報量の単位[シャノン符号化](シャノン-ファノ符号、Shannon-Fano code)[情報理論] (Information theory)[標本化定理] (Nyquist-Shannon sampling theorem)
Turing tarpit
Greenspun's tenth rule
[Inner-platform effect][Software Peter principle][Turing tarpit][Zawinski's law of software envelopment][https://en.wikipedia.org/wiki/Greenspun%27s_tenth_rule Greenspun's tenth rule - Wikipedia]
Turing completeness
[AI-completeness][Algorithmic information theory][Chomsky hierarchy][Church–Turing thesis][computability theory]
Von Neumann architecture
ノイマン型
[von Neumann architecture][ノイマン型コンピュータ][プログラム内蔵方式][フォン・ノイマン・ボトルネック][非ノイマン型]
dynamic programming language
Comparison of programming languages[Name binding][Von Neumann architecture][/suto3/google.icon][https://www.google.com/search?q=dynamic+programming%20language dynamic programming language][/suto3/Google画像検索.icon][https://www.google.com/search?q=dynamic+programming%20language&tbm=isch dynamic programming language]
John von Neumann
[ジョン・フォン・ノイマン]John von Neumann (sculpture), Eugene, Oregon[John von Neumann Award]John von Neumann - WikiquoteList of things named after John von Neumann
New Links
Arithmetical hierarchy
Chaitin's constant or Omega
The Emperor's New Mind
Enumerator
Genetix
Gödel, Escher, Bach: An Eternal Golden Braid
Langton's ant and Turmites
Modified Harvard architecture
Quantum Turing machine
Turing machine examples
Turing switch
Unorganised machine
Created
a year ago
by
suto3suto3
Updated
a year ago
by
suto3suto3
Views: 7
Page rank: 17.2
Copy link
Copy readable link
Start presentation
Hide dots
Turing machine
Arithmetical hierarchy
Bekenstein bound
, showing the impossibility of infinite-tape Turing machines of finite size and bounded energy
BlooP and FlooP
Chaitin's constant or Omega
(computer science) for information relating to the halting problem
Chinese room
Conway's Game of Life
, a Turing-complete cellular automaton
digital infinity
The Emperor's New Mind
Enumerator
(in theoretical computer science)
Genetix
Gödel, Escher, Bach: An Eternal Golden Braid
, a famous book that discusses, among other topics, the Church–Turing thesis
Halting problem
, for more references
Harvard architecture
Imperative programming
Langton's ant and Turmites
, simple two-dimensional analogues of the Turing machine
List of things named after Alan Turing
Modified Harvard architecture
Quantum Turing machine
Claude Shannon
, another leading thinker in information theory
Turing machine examples
Turing switch
Turing tarpit
, any computing system or language that, despite being Turing complete, is generally considered useless for practical computing
Unorganised machine
, for Turing's very early ideas on neural networks
Von Neumann architecture
https://en.wikipedia.org/wiki/Turing_machine